RubyKaigi 2023: Let's write RBS!